This study examines problems related to the representation of music. It constructs the sender/message/perceiver/result model, a prototype broad enough to incorporate a large variety of music and other notation systems, including those having to do with computers. The work defines music notation itself, describes various models for studying the subject--including the binary types prescriptive/descriptive, and symbolic/iconic--and assesses music notation as a contemporary practice. It encompasses a review of the actions and intentions of composers, performers, and audiences, and a consideration of (...) the message and how it is affected by media , reference systems , and meanings. Finally, through an examination of the possibilities of the self acting as a notation system within models posited by feminist and queer theory, I attempt to demonstrate the power of notation to affect other systems and worlds, including the worlds of music, art, and politics. ;The consideration of these topics draws on theories from linguistics, semiotics, structuralism, post-structuralism, cybernetics, and music, as well as the philosophies of John Cage, Jean-Jacques Nattiez, Nelson Goodman, and others. The work examines various languages and applications used to program computers for musical purposes, though this examination does not incorporate programs dedicated exclusively to printing music. Nor does the study focus on non-Western notations, suggestions for reforms of notation, or encyclopedic lists of notation devices. ;The expository writing is augmented by excerpts from material I gathered in numerous interviews. There are separate sections containing interviews of Leonard Meyer, Allan Kaprow, John Cage, Earle Brown, Roger Reynolds, and Heidi von Gunden. There is also a large, partially-annotated bibliography. ;My hope is that an inclusive, interdisciplinary exploration of music notation will be useful in broadening the theoretical and creative boundaries of the field, as well as bridging gaps among musicians using various music technologies, and artists and theorists from diverse fields and perspectives. (shrink)

Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...) insisting that everyone drives on the left hand side of the road. We accept this limitation on our freedom because it lowers the probability of a collision. -/- This paper describes AI systems that are based on the constitutive view of social practice. According to this alternative view, there are certain actions that are only available to the agent because he is participating in a practice of a certain sort. For example, you can swing a peculiarly shaped piece of wood without participating in any particular practice - but this action will only constitute a strike if you are participating in a game of baseball. I can raise my hand whenever I like, but this only counts as voting for the motion within the institution of voting. But not all the examples are from frivolous, optional or institutional activities. Sellars and Brandom argue that even the fundamental act of assertion is only possible within the context of a particular social practice: the Game of Giving and Asking for Reasons. -/- The constitutive view, which is familiar to philosophers, is relatively unknown within the AI community. -/- The central aim of this paper is to show how the constitutive view of practice can be put to use in AI applications. (shrink)

This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and (...) also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...) sector. Respective governments have made significant strides in ensuring reliable and universal access to electricity throughout Ghana, yet such efforts have been accompanied by different levels of challenges. The study uses a qualitative and exploratory research approach to trace the activities that helped, in many other ways to the creation of a sustainable electric power provision to household and industry in Ghana, particularly in two of Ghana’s cities; Accra and Kumasi, within the period 1900 to the1960s. The work focused mainly on archival sources in its quest to arrive at how indigenous Ghanaians provided power for industrial activities and for household purposes. Results from the study show that local and cottage industries relied predominantly on wood, fuel, and biomass for their operations even before the introduction of the more sophisticated means of power generation. Also, the study revealed that in finding solutions to the challenges of electricity production, policymakers have focused more on current issues with little or no effort to trace the historical foundation of electricity production. This notwithstanding, the little efforts that have been made examined the history of energy production, with a limited focus on the immediate post-independence era. (shrink)

The master argument posits a metaphysical thesis: Diodorus does away with Aristotle’s dunamis understood as a power simultaneously oriented toward being and non-being and proclaims that possibilities that fail to actualize are simply nothing. My contention is that this claim is not a mere application of Diodorus’ contribution to modal logic. Rather, Diodorus creates an ontologico-temporal concept of possibility and impossibility. Diodorus envisions the future as the past that the future will become. Since what will have been can never be (...) the accomplishment of a possibility that did not obtain, and since the future is destined to become past, any futural possibility that doesn’t actualize is neither futural nor even possible. (shrink)

It is surprisingly difficult to justify private property. Two questions are at stake: (a) a metaphysical and juridical one concerning the nature of property and (b) an ethical one concerning our attitude toward wealth. This issue reached an unprecedented importance during the 12th and 13th centuries as a new moral ideal emerged. This essays analyses the controversy (with emphasis on Bonaventure’s Defense of the Mendicants) by first locating it in relation to the philosophical and theological authorities as well as the (...) Roman law. It argues that the dispute between the defenders of paupertas altissima and their opponents concerns the limit of the law. Gerard of Abbeville and John XXII saw a contradiction in a right to use that would exclude ownership. Yet, what the Franciscans were seeking was use without right. To relate to the world as something that is essentially inappropriable is to seek a form of life (a rule) prior to the law. Centuries after, such a possibility remains to be discovered. (shrink)

Warfare is becoming increasingly automated, from automatic missile defense systems to micro-UAVs (WASPs) that can maneuver through urban environments with ease, and each advance brings with it ethical questions in need of resolving. Proponents of lethal autonomous weapons systems (LAWS) provide varied arguments in their favor; robots are capable of better identifying combatants and civilians, thus reducing "collateral damage"; robots need not protect themselves and so can incur more risks to protect innocents or gather more information before using deadly force; (...) robots can assess situations more quickly and do so without emotion, reducing the likelihood of fatal mistakes due to human error; and sending robots to war protects our own soldiers from harm. However, these arguments only point in favor of autonomous weapons systems, failing to demonstrate why such systems need be made *lethal*. In this paper I argue that if one grants all of the proponents' points in favor of LAWS, then, contrary to what might be expected, this leads to the conclusion that it would be both immoral and illegal to deploy *lethal* autonomous weapons, because the many features that speak in favor of them also undermine the need for them to be programmed to take lives. In particular, I argue that such systems, if lethal, would violate the moral and legal principle of necessity, which forbids the use of weapons that impose superfluous injury or unnecessary harm. I conclude by highlighting that the argument is not against autonomous weapons per se, but only against *lethal* autonomous weapons. (shrink)

According to Schopenhauer’s compensation argument for pessimism, the non-existence of the world is preferable to its existence because no goods can ever compensate for the mere existence of evil. Standard interpretations take this argument to be based on Schopenhauer’s thesis that all goods are merely the negation of evils, from which they assume it follows that the apparent goods in life are in fact empty and without value. This article develops a non-standard variant of the standard interpretation, which accepts the (...) relevance of the negativity thesis but rejects that the argument assumes that life’s goods are all empty and valueless. Instead, it argues that whatever value negative goods might possess, they do not have the kind of value to compensate for positive evils. This involves additional development of the negativity thesis and a defence of it against objections from Byron Simmons (2021). (shrink)

This essay is concerned with two interrelated questions. First, a broad question: in what sense is Skepticism a philosophy− or in what sense is it “philosophy” (as we will see, these are not identical questions)? Second, a narrow one: how should we understand the process whereby ataraxia (freedom from disturbance) emerges out of epochē (suspension of judgment)? The first question arises because Skepticism is often portrayed as anti-philosophy. This depiction, I contend, surreptitiously turns a Skeptical method into a so-called Skeptical (...) doctrine which is then either condemned for being self-refuting or salvaged as a plausible (albeit odd) epistemological theory. Instead, philosophy, for the Skeptics, is a matter of practice. Skepticism is not so much a philosophy that has a worldview to proclaim as it is a philosophy that invites us to perform something. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

The diversity of interpretations of Aristotle’s treatment of chance and luck springs from an apparent contradiction between the claims that “chance events are for the sake of something” and that “chance events are not for the sake of their outcome.” Chance seems to entail the denial of an end. Yet Aristotle systematically refers it to what is for the sake of an end. This paper suggests that, in order to give an account of chance, a reference to “per accidens causes” (...) is not sufficient. Chance occurs as a parody of teleology; it is a“for-no-purpose” that looks like a purpose. The notion of “irony” is suggested as a way of accounting for a situation that keeps an ambiguity open. The fact that chance is thought of in relation to teleology does not mean that it is “reappropriated” by teleology. Rather,chance reveals a hiatus that betrays the limitation of a language concerned with substances to account for events. (shrink)

This paper focuses on Aristotle’s discussion of PNC in Metaphysics Gamma and argues that the argument operates at three different levels: ontological, doxastic, and semantic through the invocation of three philosophical personae: the first one can only state what is otherwise unprovable, the second one can only confirm that we should trust PNC, the third one denies PNC and must be silenced. Aristotle cannot prove what is beyond proof. This situation results in a fundamental ambiguity in the figure of the (...) philosopher. The Metaphysics is written from the standpoint of an investigative thinker who admits her puzzlement before a question that will forever remain open and imagines another philosopher who has achieved a god-like insight into the first principles of all things. The path from the first figure to the second one, however, remains an enigmatic leap. (shrink)

Aristotle’s treatment of tactility is at odds with the hierarchical order of psyche’s faculties. Touching is the commonest and lowest power; it is possessed by all sentient beings; thinking is, on the contrary, the highest faculty that distinguishes human beings. Yet, while Aristotle maintains against some of his predecessors that to think is not to sense, he nevertheless posits a causal link between practical intelligence and tactility and even describes noetic activity as a certain kind of touch. This essay elucidates (...) Aristotle’s analysis of the sense of touch in De anima and argues that tactility provides a paradigm for sensitivity in general and in particular for the reflexivity of sensation whereby the senses disclose not only what they are sensing but also that they are sensing. This feature, it is argued, has epistemological and ontological consequences. The sense of touch testifies to the physical presence of material beings and provides an empirical verification of substance’s essential feature, namely, self-reference. (shrink)

Utilitarianism is often rejected on the grounds that it fails to respect the separateness of persons, instead treating people as mere “receptacles of value”. I develop several different versions of this objection, and argue that, despite their prima facie plausibility, they are all mistaken. Although there are crude forms of utilitarianism that run afoul of these objections, I advance a new form of the view—‘token-pluralistic utilitarianism’—that does not.

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...) types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

The Warner Books back cover proclaims: In the tradition of Oliver Sachʼs [sic] bestselling *The Man Who Mistook His Wife for a Hat...* The manner and misspellingsignify that Cytowic himself had nothing to do with such publishing hucksterism. However, one thing is clear upon reading this book: Richard Cytowic, M.D., is no Oliver Sacks. Though, as will be seen, there is much in here to recommend itself, his stilted reproduction of conversations which or may not have taken place and (...) his CreativeFiction 100 characterizations (i.e., Dr. Wood's continual inhalation of smoke or food) strike the experienced reader as painfully contrived, as though Cytowic were doing hislevel best to imitate Sacks and reach that always-elusive wider audience. (shrink)

It is commonly assumed that Aristotle denies any real existence to infinity. Nothing is actually infinite. If, in order to resolve Zeno’s paradoxes, Aristotle must talk of infinity, it is only in the sense of a potentiality that can never be actualized. Aristotle’s solution has been both praised for its subtlety and blamed for entailing a limitation of mathematic. His understanding of the infinite as simply indefinite (the “bad infinite” that fails to reach its accomplishment), his conception of the cosmos (...) and even its prime mover as finite (in the sense of autarchic/self-contained) have been contrasted with the subsequent claim of God as ens infinitum (understood as a “positive” infinity). The goal of this essay is to reexamine the major texts (notably De caelo) and to demonstrate that (1) Aristotle’s claim according to which there is no actual infinite concerns only substances, not processes. (2) That Aristotle does not deny an actual infinite as such. (3) That when considering time and God (qua eternal) Aristotle acknowledges an actual infinite. (shrink)

Background Retraction is a mechanism for alerting readers to unreliable material and other problems in the published scientific and scholarly record. Retracted publications generally remain visible and searchable, but the intention of retraction is to mark them as “removed” from the citable record of scholarship. However, in practice, some retracted articles continue to be treated by researchers and the public as valid content as they are often unaware of the retraction. Research over the past decade has identified a number of (...) factors contributing to the unintentional spread of retracted research. The goal of the Reducing the Inadvertent Spread of Retracted Science: Shaping a Research and Implementation Agenda (RISRS) project was to develop an actionable agenda for reducing the inadvertent spread of retracted science. This included identifying how retraction status could be more thoroughly disseminated, and determining what actions are feasible and relevant for particular stakeholders who play a role in the distribution of knowledge. -/- Methods These recommendations were developed as part of a year-long process that included a scoping review of empirical literature and successive rounds of stakeholder consultation, culminating in a three-part online workshop that brought together a diverse body of 65 stakeholders in October–November 2020 to engage in collaborative problem solving and dialogue. Stakeholders held roles such as publishers, editors, researchers, librarians, standards developers, funding program officers, and technologists and worked for institutions such as universities, governmental agencies, funding organizations, publishing houses, libraries, standards organizations, and technology providers. Workshop discussions were seeded by materials derived from stakeholder interviews (N = 47) and short original discussion pieces contributed by stakeholders. The online workshop resulted in a set of recommendations to address the complexities of retracted research throughout the scholarly communications ecosystem. -/- Results The RISRS recommendations are: (1) Develop a systematic cross-industry approach to ensure the public availability of consistent, standardized, interoperable, and timely information about retractions; (2) Recommend a taxonomy of retraction categories/classifications and corresponding retraction metadata that can be adopted by all stakeholders; (3) Develop best practices for coordinating the retraction process to enable timely, fair, unbiased outcomes; and (4) Educate stakeholders about pre- and post-publication stewardship, including retraction and correction of the scholarly record. -/- Conclusions Our stakeholder engagement study led to 4 recommendations to address inadvertent citation of retracted research, and formation of a working group to develop the Communication of Retractions, Removals, and Expressions of Concern (CORREC) Recommended Practice. Further work will be needed to determine how well retractions are currently documented, how retraction of code and datasets impacts related publications, and to identify if retraction metadata (fails to) propagate. Outcomes of all this work should lead to ensuring retracted papers are never cited without awareness of the retraction, and that, in public fora outside of science, retracted papers are not treated as valid scientific outputs. (shrink)

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice in developing (...) an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism. (shrink)

Right- and wrong-making features ("moral grounds") are widely believed to play important normative roles, e.g. in morally apt or virtuous motivation. This paper argues that moral grounds have been systematically misidentified. Canonical statements of our moral theories tend to summarize, rather than directly state, the full range of moral grounds posited by the theory. Further work is required to "unpack" a theory's criterion of rightness and identify the features that are of ground-level moral significance. As a result, it is not (...) actually true that maximizing value is the relevant right-making feature even for maximizing consequentialists. Focusing on the simple example of utilitarianism, I show how careful attention to the ground level can drastically influence how we think about our moral theories. (shrink)

According to the Asymmetry, we’ve strong moral reason to prevent miserable lives from coming into existence, but no moral reason to bring happy lives into existence. This procreative asymmetry is often thought to be part of commonsense morality, however theoretically puzzling it might prove to be. I argue that this is a mistake. The Asymmetry is merely prima facie intuitive, and loses its appeal on further reflection. Mature commonsense morality recognizes no fundamental procreative asymmetry. It may recognize some superficially similar (...) theses, but we will see that they derive from more familiar principles, and are compatible with there being moral reason to bring happy lives into existence. (shrink)

Parfit's On What Matters offers a rousing defence of non-naturalist normative realism against pressing metaphysical and epistemological objections. He addresses skeptical arguments based on (i) the causal origins of our normative beliefs, and (ii) the appearance of pervasive moral disagreement. In both cases, he concedes the first step to the skeptic, but draws a subsequent distinction with which he hopes to stem the skeptic's advance. I argue, however, that these distinctions cannot bear the weight that Parfit places on them. A (...) successful moral epistemology must take a harder line with the skeptic, insisting that moral knowledge can be had by those with the right kind of psychology -- no matter the evolutionary origin of the psychology, nor whether we can demonstrate its reliability over the alternatives. (shrink)

In this paper I argue that a priori arguments fail to present any real problem for physicalism. They beg the question against physicalism in the sense that the argument will only seem compelling if one is already assuming that qualitative properties are nonphysical. To show this I will present the reverse-zombie and reverse-knowledge arguments. The only evidence against physicalism is a priori arguments, but there are also a priori arguments against dualism of exactly the same variety. Each of these parity (...) arguments has premises that are just as intuitively plausible, and it cannot be the case that both the traditional scenarios and the reverse-scenarios are all ideally conceivable. Given this one set must be merely prima facie conceivable and only empirical methods will tell us which is which. So, by the time a priori methodology will be of any use it will be too late. (shrink)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Autonomous weapons systems (AWS), sometimes referred to as “killer robots”, are receiving evermore attention, both in public discourse as well as by scholars and policymakers. Much of this interest is connected with emerging ethical and legal problems linked to increasing autonomy in weapons systems, but there is a general underappreciation for the ways in which existing law might impact on these new technologies. In this paper, we argue that as AWS become more sophisticated and increasingly more capable than flesh-and-blood soldiers, (...) it will increasingly be the case that such soldiers are “in the power” of those AWS which fight against them. This implies that such soldiers ought to be considered hors de combat, and not targeted. In arguing for this point, we draw out a broader conclusion regarding hors de combat status, namely that it must be viewed contextually, with close reference to the capabilities of combatants on both sides of any discreet engagement. Given this point, and the fact that AWS may come in many shapes and sizes, and can be made for many different missions, we argue that each particular AWS will likely need its own standard for when enemy soldiers are deemed hors de combat. We conclude by examining how these nuanced views of hors de combat status might impact on meaningful human control of AWS. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

In recent times we have seen an explosion in the amount of attention paid to the conscious brain from scientists and philosophers alike. One message that has emerged loud and clear from scientific work is that the brain is a dynamical system whose operations unfold in time. Any theory of consciousness that is going to be physically realistic must take account of the intrinsic nature of neurons and brain activity. At the same time a long discussion on consciousness among philosophers (...) has resulted in our distinguishing several kinds of consciousness. So when we ask where the place of consciousness is in nature we may mean several different things. In this chapter I will argue that it is plausible that all of the kinds of consciousness turn out to be nothing but patterns of synchronized neural activity in various frequencies against a dynamically changing chemical background. (shrink)

If you focus your charitable giving on global causes where it will do the most good, how should you feel about passing by the local soup kitchen? Would the ideally virtuous agent have their (local) empathy still activated, but simply overridden by the recognition that distant others are in even greater need, leaving the agent feeling torn? Or would their empathetic impulses be wholeheartedly redirected towards the greatest needs? This chapter suggests a way to revise an outdated conception of moral (...) virtue to better meet the demands of a cosmopolitan moral outlook. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

Worsening energy crises and the growing effects of climate change have spurred, among other things, concerted efforts to tackle global problems through what the United Nations calls Sustainable Development Goals (SDGs). These are in turn argued to be best achieved via the adoption of environmental, social, and corporate governance (ESG) as the vehicle for guiding our efforts. However, though these things are often presented as the solution to global issues, they are increasingly being used as a means to centralize power (...) and exacerbate growing authoritarian trends. This article aims to demonstrate how the narratives surrounding ESG mask this reality, taking as a solution one of the foundational causes of global wealth and power disparity. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Rohwer & Marris claim that “many conservation biologists” believe that there is a prima facie duty to preserve the genetic integrity of species. (A prima facie duty is a necessary pro tanto moral reason.) They describe three possible arguments for that belief and reject them all. They conclude that the biologists they cite are mistaken, and that there is no such duty: duties to preserve genetic integrity are merely instrumental: we ought act to preserve genetic integrity only because doing so (...) is required by some other duty, such as the duty to preserve taxonomic biodiversity, or the duty to preserve the reproductive fitness of existing species. In permitting for instance the introgression of cattle genes into the genome of Bison bison we therefore do not necessarily fail in any respect ethically. I criticize the paper on three fronts. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

Western liberal democracies praise themselves for protecting a full range of differences among individuals and groups. The origin of this ongoing process is thought to be Locke’s Epistola de Tolerantia. Before the Reformation, it is assumed, “a multiplicity of beliefs was deemed to be dangerous, as well as evil; diversity was, so to speak, the devil’s work, and where it existed it was to be stamped out”. Yet, although flattering to liberalism, the conceit of a modern liberal discovery of liberty (...) of conscience is both conceptually simplistic and historically misleading. The main virtue of this volume is to challenge this tale of Western political history. The essays presented seek to demonstrate that premodern thinkers generated alternative theories of toleration; and to contribute to a philosophical analysis of tolerance. (shrink)